10 results
Exploring the Jungle of Intuitionistic Temporal Logics
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 4 / July 2021
- Published online by Cambridge University Press:
- 22 April 2021, pp. 459-492
-
- Article
- Export citation
QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES
-
- Journal:
- The Review of Symbolic Logic / Volume 12 / Issue 3 / September 2019
- Published online by Cambridge University Press:
- 08 April 2019, pp. 405-425
- Print publication:
- September 2019
-
- Article
- Export citation
COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS
-
- Journal:
- The Review of Symbolic Logic / Volume 11 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 27 September 2018, pp. 507-518
- Print publication:
- September 2018
-
- Article
- Export citation
Low-grade inflammation, diet composition and health: current research evidence and its translation
-
- Journal:
- British Journal of Nutrition / Volume 114 / Issue 7 / 14 October 2015
- Published online by Cambridge University Press:
- 31 July 2015, pp. 999-1012
- Print publication:
- 14 October 2015
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
QUANTIFIED MODAL LOGIC ON THE RATIONAL LINE
-
- Journal:
- The Review of Symbolic Logic / Volume 7 / Issue 3 / September 2014
- Published online by Cambridge University Press:
- 12 May 2014, pp. 439-454
- Print publication:
- September 2014
-
- Article
- Export citation
STRONG COMPLETENESS OF S4 FOR ANY DENSE-IN-ITSELF METRIC SPACE
-
- Journal:
- The Review of Symbolic Logic / Volume 6 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 20 June 2013, pp. 545-570
- Print publication:
- September 2013
-
- Article
- Export citation
John Woods . Paradox and paraconsistency: Conflict resolution in the abstract sciences, Cambridge University Press, Cambridge, New York, 2003, xviii + 362 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 1 / March 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 116-118
- Print publication:
- March 2004
-
- Article
- Export citation
Defining relevant implication in a propositionally quantified S4
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 4 / December 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1057-1069
- Print publication:
- December 1997
-
- Article
- Export citation
On the complexity of propositional quantification in intuitionistic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 529-544
- Print publication:
- June 1997
-
- Article
- Export citation
Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p*
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 334-349
- Print publication:
- March 1993
-
- Article
- Export citation